Abstract interpretation - PDFSEARCH.IO - Document Search Engine

Abstract interpretation
Results: 510

#	Item
321	Stefan Meretz (September[removed]Meaning Concepts used in Psychology and Computer Sciences Abstract. This paper argues that the "meaning problem" cannot be treated within the cognitive framework. Many proposals using the Add to Reading List Source URL: www.kritische-informatik.de Language: English - Date: 2009-04-20 07:15:33 Science Semantics Logic Philosophical logic Semiotics Symbolic system Cognitive science Language Interpretation Philosophy of language Analytic philosophy Meaning
322	Precise and Scalable Static Program Analysis of NASA Flight Software G. Brat and A. Venet Kestrel Technology NASA Ames Research Center, MS[removed]Moffett Field, CA[removed] Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:11:33 Program analysis Data types Software testing Abstract interpretation Static program analysis Patrick Cousot Software verification Type system Polyspace Software engineering Programming language theory Computing
323	Tutorial to Locales and Locale Interpretation∗ Clemens Ballarin Abstract Locales are Isabelle’s approach for dealing with parametric theories. They have been designed as a module system for a theorem prover Add to Reading List Source URL: isabelle.in.tum.de Language: English - Date: 2014-08-27 06:04:04 Structure Lattice theory Algebraic structures Distributive lattice Complete Heyting algebra Duality Join and meet Lattice Partially ordered set Order theory Mathematics Abstract algebra
324	Tableaux for Verification of Data-Centric Processes Andreas Bauer, Peter Baumgartner, Martin Diller and Michael Norrish NICTA? and Australian National University, Canberra, Australia Abstract. Current approaches to analy Add to Reading List Source URL: www.immerundewig.at Language: English - Date: 2013-06-19 01:47:13 Model theory Formal languages Metalogic Linear temporal logic Temporal logic Logical syntax Interpretation First-order logic Symbol Logic Mathematical logic Mathematics
325	SAMPLE ABSTRACT Theme: 3. Education & Interpretation The geological collections of Dr. Abraham Gesner (1797–1864) Add to Reading List Source URL: cn.globalgeopark.org Language: English - Date: 2014-01-09 03:24:34 Abraham Gesner Saint John New Brunswick New Brunswick George Frederick Matthew Joggins Nova Scotia Canada Abraham Pineo Gesner New Brunswick Museum
326	Towards the Industrial Scale Development of Custom Static Analyzers John Anton, Eric Bush, Allen Goldberg, Klaus Havelund, Doug Smith, Arnaud Venet Kestrel Technology LLC 4984 El Camino Real #230 Los Altos, CA 94022 Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:17:59 Computer programming Logic in computer science Program analysis Abstract interpretation Static program analysis Astrée Formal verification Runtime verification Programming language Software engineering Computing Formal methods
327	A Formally-Verified C Static Analyzer Jacques-Henri Jourdan Vincent Laporte Sandrine Blazy Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2014-10-28 11:05:08 Abstract interpretation Field theory Ring theory Function Valuation Ring Interpretation Finitary relation Orbifold Mathematics Abstract algebra Algebra
328	Precise and Efficient Static Array Bound Checking for Large Embedded C Programs Arnaud Venet Guillaume Brat Add to Reading List Source URL: www.kestreltechnology.com Language: English - Date: 2006-07-12 15:17:58 Data types Primitive types Memory management C++ Static program analysis Pointer C Data-flow analysis Abstract interpretation Computing Software engineering Computer programming
329	Abstract Interpretation Founded in 1998, AbsInt is a privately-held company located in Saarbrücken, Germany. AbsInt provides advanced development tools and tools for validation, verification, and certification of safety Add to Reading List Source URL: www.absint.com Language: English - Date: 2014-05-14 04:39:47 Technology Avionics Safety Software requirements Pharmaceutical industry Astrée DO-178B Worst-case execution time Formal verification Embedded systems Software development Computing
330	Interpretation of Structure Displacements within Cloud-free Water Vapour Scenes of METEOSAT G. Büche, H. Karbstein, and H. Fischer Institut für Meteorologie und Klimaforschung Forschungszentrum Karlsruhe/Universität K Add to Reading List Source URL: cimss.ssec.wisc.edu Language: English - Date: 2010-04-06 08:55:57 Abstract algebra Linear algebra Atmospheric thermodynamics Wind Atmospheric model Vector space Euclidean vector Radiosonde EUMETSAT Algebra Meteorology Atmospheric sciences

UPDATE